1201. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
1202. Synchronous programming of reactive systems
پدیدآورنده : Halbwachs, Nicolas
کتابخانه: (طهران)
موضوع : ، Real-time programming,، Programming languages )Electronic computers(
رده :
QA
76
.
54
.
H36
1993
1203. Syntax-directed semantics :
پدیدآورنده : Zoltán Fülöp, Heiko Vogler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
1204. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
1205. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
1206. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: (طهران)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
1207. #System technical manual
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Computer programs ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S98
1208. Systems software tools
پدیدآورنده : Ted J. Biggerstaff
کتابخانه: (طهران)
موضوع : Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
رده :
QA
76
.
7
.
B52
1209. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
1210. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: (طهران)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
1211. Taschenbuch fur Programmierer
پدیدآورنده : Mrachacz, Hans-Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
M72
1212. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: (طهران)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
1213. The Agent Modeling Language--AML
پدیدآورنده : / Radovan Cervenka, Ivan Trencansky
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
1214. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
1215. The C answer book :
پدیدآورنده : Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
1216. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
1217. The Language of computer programming in English
پدیدآورنده : Keegel, John C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K44
1976
1218. The Language of computer programming in English
پدیدآورنده : Keegel, John C.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Programming languages )Electronic computer(
رده :
QA
76
.
7
.
K3
1219. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
1220. The McGraw-Hill Computer Handbook
پدیدآورنده : Editor in chief Harry Helms , Overview by Adam Osborne ; Foreword by Thomas C . Bartee
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (طهران)
موضوع : Computers - Handbooks, manuals, etc,Programming (Electronic computers) - Handbooks, manuals, etc,Programming languages (Electronic computers) - Handbooks, manuals, etc
رده :
R
QA
76
.
M37
1983
